Eijiro Sumii: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Regular Expression Types for Strings in a Text Processing Language

Naoshi Tabuchi, Eijiro Sumii, Akinori Yonezawa

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2003

File:

PDF, 1.19 MB

2003

2

A Hybrid Approach to Online and Offline Partial Evaluation

Eijiro Sumii, Naoki Kobayashi

Journal:

Higher-Order and Symbolic Computation

Year:

2001

Language:

english

File:

PDF, 230 KB

english, 2001

3

A bisimulation for dynamic sealing

Eijiro Sumii, Benjamin C. Pierce

Journal:

Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 454 KB

english, 2007

4

A Generalized Deadlock-Free Process Calculus

Eijiro Sumii, Naoki Kobayashi

Journal:

Electronic Notes in Theoretical Computer Science

Year:

1998

Language:

english

File:

PDF, 1.30 MB

english, 1998

5

A bisimulation-like proof method for contextual properties in untyped -calculus with references and deallocation

Journal:

Theoretical Computer Science

Year:

2010

Language:

english

File:

PDF, 403 KB

english, 2010

6

From Applicative to Environmental Bisimulation

Vasileios Koutavas, Paul Blain Levy, Eijiro Sumii

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2011

Language:

english

File:

PDF, 277 KB

english, 2011

7

Environmental bisimulations for higher-order languages

Sangiorgi, Davide, Kobayashi, Naoki, Sumii, Eijiro

Journal:

ACM Transactions on Programming Languages and Systems

Year:

2011

Language:

english

File:

PDF, 513 KB

english, 2011

8

Clinical significance of thrombospondin-1 expression in relation to vascular endothelial growth factor and interleukin-10 expression at the deepest invasive tumor site of advanced colorectal carcinoma

Kaio, Eijiro, Tanaka, Shinji, Ochiumi, Takehiko, Oka, Shiro, Nagata, Shinji, Hiyama, Toru, Ito, Masanori, Kitadai, Yasuhiko, Sumii, Masaharu, Haruma, Ken, Chayama, Kazuaki

Journal:

Gastroenterology

Year:

2003

Language:

english

File:

PDF, 236 KB

english, 2003

9

[IEEE 2012 27th Annual IEEE Symposium on Logic in Computer Science (LICS 2012) - Dubrovnik, Croatia (2012.06.25-2012.06.28)] 2012 27th Annual IEEE Symposium on Logic in Computer Science - A Higher-Order Distributed Calculus with Name Creation

Pierard, Adrien, Sumii, Eijiro

Year:

2012

Language:

english

File:

PDF, 331 KB

english, 2012

10

[IEEE 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007) - Wroclaw, Poland (2007.07.10-2007.07.14)] 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007) - Environmental Bisimulations for Higher-Order Languages

Sangiorgi, Davide, Kobayashi, Naoki, Sumii, Eijiro

Year:

2007

Language:

english

File:

PDF, 181 KB

english, 2007

11

Clinical Significance of Angiogenic Factor Expression at the Deepest Invasive Site of Advanced Colorectal Carcinoma

Kaio, Eijiro, Tanaka, Shinji, Kitadai, Yasuhiko, Sumii, Masaharu, Yoshihara, Masaharu, Haruma, Ken, Chayama, Kazuaki

Journal:

Year:

2003

Language:

english

File:

PDF, 366 KB

english, 2003

12

Online-and-offline partial evaluation (extended abstract)

Sumii, Eijiro, Kobayashi, Naoki

Journal:

ACM SIGPLAN Notices

Year:

1999

Language:

english

File:

PDF, 2.19 MB

english, 1999

13

[ACM Press the 2000 ACM SIGPLAN workshop - Boston, Massachusetts, United States (2000.01.22-2000.01.23)] Proceedings of the 2000 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation - PEPM '00 - Online-and-offline partial evaluation (extended abstract)

Sumii, Eijiro, Kobayashi, Naoki

Year:

1999

Language:

english

File:

PDF, 2.19 MB

english, 1999

14

[ACM Press the 31st ACM SIGPLAN-SIGACT symposium - Venice, Italy (2004.01.14-2004.01.16)] Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '04 - A bisimulation for dynamic sealing

Sumii, Eijiro, Pierce, Benjamin C.

Year:

2004

Language:

english

File:

PDF, 154 KB

english, 2004

15

[ACM Press the 2005 workshop - Tallinn, Estonia (2005.09.25-2005.09.25)] Proceedings of the 2005 workshop on Functional and declaritive programming in education - FDPE '05 - MinCaml

Year:

2005

Language:

english

File:

PDF, 196 KB

english, 2005

16

A bisimulation for type abstraction and recursion

Sumii, Eijiro, Pierce, Benjamin C.

Journal:

Journal of the ACM

Year:

2007

Language:

english

File:

PDF, 440 KB

english, 2007

17

Clinical significance of Fhit expression in development of colorectal carcinoma of various macroscopic types

Kuwai, Toshio, Tanaka, Shinji, Kaio, Eijiro, Hiyama, Toru, Ito, Masanori, Kitadai, Yasuhiko, Sumii, Masaharu, Yoshihara, Masaharu, Haruma, Ken, Chayama, Kazuaki

Journal:

International Journal of Molecular Medicine

Year:

2003

Language:

english

File:

PDF, 1.62 MB

english, 2003

18

A bisimulation for dynamic sealing

Sumii, Eijiro, Pierce, Benjamin C.

Journal:

ACM SIGPLAN Notices

Year:

2004

Language:

english

File:

PDF, 154 KB

english, 2004

19

Logical relations for encryption1

Sumii, Eijiro, Pierce, Benjamin C.

Journal:

Journal of Computer Security

Year:

2003

Language:

english

File:

PDF, 283 KB

english, 2003